(Здесь эти объекты были указаны на естественном языке, но читатель при желании может мысленно вставить вместо имен этих королей их портреты.) Корона находится на голове короля Джона, поэтому отношение "быть на голове" содержит только один кортеж, <корона, король Джон>. Отношения "быть братом" и "быть на голове" являются бинарными, т.е. они устанавливают связь между парами объектов. Кроме того, эта модель содержит унарные отношения, или свойства: свойство "быть человеком" является истинным и для Ричарда, и для Джона; свойство "быть королем" истинно только для Джона (предположительно потому, что к этому моменту Ричард уже был мертв); а свойство "быть короной" истинно только для короны.

Некоторые виды связей удобнее рассматривать как функции, в том смысле, что указанным образом данный конкретный объект должен быть связан только с одним объектом. Например, каждый человек имеет только одну левую ногу, поэтому в данной модели имеется унарная функция "быть левой ногой", которая включает следующие отображения:

(8.2)

Строго говоря, для модели в логике первого порядка требуются полностью определенные функции, т.е. функции, в которых должно быть предусмотрено значение для каждого входного кортежа. Таким образом, левую ногу должна иметь и корона, а также, безусловно, каждая из левых ног. Предусмотрено некоторое формальное решение этой неприятной проблемы, возникающей из-за того, что каждый объект, который в действительности не имеет левую ногу, включая саму левую ногу, в результате применения функции получает дополнительный "невидимый" объект, представляющий собой левую ногу. К счастью, при условии, что никто не будет составлять утверждений о левых ногах объектов, не имеющих левой ноги, применять эти формальные решения не обязательно.